caseTgt is package {

  search has type () => integer;
  search() is valof {
    case 1 in {
      1 do valis 2;
    }
  }
}